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