-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathSentences 3.21.sen
More file actions
8 lines (8 loc) · 844 Bytes
/
Copy pathSentences 3.21.sen
File metadata and controls
8 lines (8 loc) · 844 Bytes
1
7.2.3.26368macs:Mac OS X10.12.6SntFC1505965677980D1505970080504C1506044292062D1506045354054C1506045385518D1506045439594C1506048376119D1506048517394C1506048760947D1506049095539D1506049097116D1506049102779C1506049195448D1506049319407C1506049387387D1506049425409D1506049425914D1506049426347D1506049429788D1506049661595S4816412Small(a) | (Large(c) & Large(d)) BackOf(d,b) & BackOf(e,b) BackOf(d,b) &BackOf(e, b) & Larger(d,b) &Larger (e,b) (Cube(d)&Cube(c))& ~(Small(d) | Small(c)) ~( ( RightOf(e, c ) & LeftOf(e,b) ) | (RightOf(a, c ) &LeftOf(a,b) ) ) ~Large(e) | BackOf(e,a ) ~Between(c,a ,b ) & ~FrontOf(c, a )&~FrontOf(c,b) (Tet(a)&Tet( e) )| (Tet(a) &Tet(f)) ~FrontOf( d, c ) & ~FrontOf(c, b ) & ~FrontOf(d,b) Between(c,d ,f ) | (Smaller(c, d ) &Smaller(c,f)) ~SameRow(b, c ) SameCol(b, e )&SameRow(e, d )&SameCol(d,a) s=130705;