n5:=
[* 5,
    [ PowerStructure(Inc) |
        IncidenceStructure< {@ IntegerRing() | 1, 2 @} | KMatrixSpace(GF(2), 2, 4) ! [ GF(2) | 1, 0, 1, 0, 0, 1, 0, 1 ] >
    ],
    [ PowerStructure(Inc) |
        IncidenceStructure< {@ IntegerRing() | 1 @} | KMatrixSpace(GF(2), 1, 2) ! [ GF(2) | 1, 1 ] >
    ]
*]
;